数学的ソフトウェアを考える④ 数値積分に見る自動化と高速化の近況